Skip to content

Conversation

syphar
Copy link
Member

@syphar syphar commented May 18, 2022

based on #623

@syphar
Copy link
Member Author

syphar commented May 18, 2022

@carols10cents this fixes the command and updates the list of users.

I don't know if all these users are on the [email protected] list, can someone find out? Then we probably could replace the list with the email address.

Of course this then won't include infra-team members

@ehuss
Copy link
Contributor

ehuss commented Dec 12, 2023

@syphar, Just checking if you are still interested in working on this?

@apiraino
Copy link
Contributor

apiraino commented Jun 20, 2025

anyone interested to pick this up? 🙂

edit: also maybe checking if #623 is still relevant

cc @carols10cents @Turbo87

@Turbo87
Copy link
Member

Turbo87 commented Jun 20, 2025

huh, yeah, #623 should probably still be done. at this point the information in those pages is severely outdated too 😅

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants